321. Tapsoft, 91 Proceedings of the internation Join Conference on Theory and Practice of Software Development
پدیدآورنده : International Joint Conference on the any and Practice of Software Development, S.Abramsky, T.S.E.Maibaum; editor by G.Goos and J.Hartmanis
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Computer Software - Developmenyt - Congresses,، Software - engineering - Congresses
رده :
QA
76
.
76
.
D47
I57A
1991
322. Testing software and systems
پدیدآورنده : Brian Nielsen, Carsten Weise (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Testing, Congresses,Software engineering, Congresses
رده :
QA76
.
76
.
T48
I28
2012eb
323. Testing software and systems.
پدیدآورنده : \ Khaled El-Fakih, Gerassimos Barlas, Nina Yevtushenko (eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer software -- Testing -- Congresses,Software engineering -- Congresses,نرمافزار -- آزمایش -- کنگره ها,نرمافزار -- مهندسی-- کنگره‌ها
رده :
QA
76
.
76
.
T48
I34
2015
E-Book
,
324. The common component modeling example
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Component software ; Congresses. ; Computer software ; Development ; Congresses. ; Software engineering ; Congresses. ;
325. The 20th IEEE/ACM International Conference on Automated Software Engineering, Long Beach, California, USA, November 7-11, 2005
پدیدآورنده : Sponsored by IEEE Computer Society, ACM Software Research, University of California, Irvine, Department of Computing, City University, London ]and[ Donald Bren School of Information and Computer Sciences, University of California, Irvine
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Software engineering,Congresses ، Computer-aided software engineering,Congresses ، Expert systems )Computer science(
رده :
QA
76
.
758
.
I442
2005
326. Theory of Cryptography
پدیدآورنده : \ Björn Franke (Ed.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Compilers (Computer programs) -- Congresses.,Programming Languages, Compilers, Interpreters.,Software engineering.,Programming Techniques.,کامپایلر‌ها (برنامه کامپیوتر) -- کنگره ها,زب‍ان‌ه‍ای برنامه ن‍وی‍س‍ی ,مهندسی ن‍رم اف‍زار
رده :
QA76
.
76
.
T46
2015
E-Book
,
327. Ubiquitous mobile information and collaboration systems : Second CAiSE Workshop, UMICS 2004, Riga, Latvia, June 7-8, 2004, revised selected papers
پدیدآورنده : Luciano Baresi...]et al.[ )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer-aided software engineering,Congresses ، Systems engineering
رده :
QA
76
.
L28
Vol
.
3272
328. Unifying theories of programming :
پدیدآورنده : Burkhart Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer programming -- Congresses.,computerkunde.,software engineering.
رده :
QA76
.
6
B875
2013
329. Verification, Model Checking, and Abstract Interpretation.
پدیدآورنده : \ Barbara Jobstmann , K. Rustan M. Leino (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer software -- Verification -- Congresses.,Software engineering -- Congresses.,Computer software -- Verification.,نرمافزار -- راستی‌آزمایی -- کنگره ها,نرمافزار -- مهندسی-- کنگره‌ها ,نرمافزار -- راستی‌آزمایی
رده :
.
V4
2016
E-Book
,
330. Verification, Model Checking, and Abstract Interpretation
پدیدآورنده : \ Deepak D’Souza, Akash Lal, Kim Guldstrand Larsen (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer software -- Verification -- Congresses.,Software engineering -- Congresses.,Logics and Meanings of Programs.,نرمافزار -- راستی‌آزمایی -- کنگره ها ,نرمافزار -- مهندسی-- کنگره‌ها
رده :
QA
76
.
76
.
V47
2015
E-Book
,
331. Web Information Systems Engineering – WISE 2015
پدیدآورنده : \ edited by Jianyong Wang, Wojciech Cellary, Dingding Wang, Hua Wang, Shu-Ching Chen, Tao Li, Yanchun Zhang.
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Software engineering -- Congresses.,Computer science.,Computer networks.,نرمافزار -- مهندسی -- کنگره‌ها ,علوم کامپیوتر,شبکه‌های رایانه ای
رده :
QA76
.
758
.
W41
2015
E-Book
,
332. agent systems V-Software engineering for multi
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Software engineering ; Congresses. ; Intelligent agents (Computer software) ; Congresses. ;
333. based software engineering-Component
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Software engineering ; Congresses. ; Computer software ; Development ; Congresses. ;
334. oriented software engineering VI-Agent
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Software engineering ; Congresses. ; Intelligent agents (Computer software) ; Congresses. ;
335. oriented software engineering VII-Agent
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Software engineering ; Congresses. ; Intelligent agents (Computer software) ; Congresses. ;
336. oriented software engineering VIII-Agent
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Software engineering ; Congresses. ; Intelligent agents (Computer software) ; Congresses. ;
337. services :-technologies, infrastructures, tools, and applications for e-Agent
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Intelligent agents (Computer software) ; Congresses ; Software engineering ; Congresses ; Electronic commerce ; Computer programs ; Congresses ;
338. #16th Annual International Conference on Automated Software Engineering
پدیدآورنده : #sponsored by IEEE Computer Society Technical Committee on Software Engineering, ACM SIGSoft, ACM SIGArt
کتابخانه: Central Library of Esfehan University of Technology (Esfahan)
موضوع : Software engineering- Congresses ،Expert systems )Computer science(- Congresses
رده :
#
QA
،#.
I54
،#
2001
